for INFOFILE in admin install user
do
	if [ -f /usr/share/info/krb5-$INFOFILE.info ]; then
		install-info --info-dir=/usr/share/info \
		/usr/share/info/krb5-$INFOFILE.info
	fi
done
